221. Proceedings of the joint workshop on parallel and distributed real-time systems: Fifth International Workshop on Parallel and Distribut ed Real-Time Systems and the Third Workshop on Object-Oriented Real -Time Systems )OORTS(, April 1-3, 1997, Geneva, Switzerland
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
54
.
W67
1997
222. Proceedings of the 18th Workshop on Parallel and Distributed Simulation, PADS 2004, 16-19 May 2004, Kufstein, Austria
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Simulation )IEEE-TCSIM(, ACM Special Interest Group on Simulation )SIGSIM(, Society for Modeling and Simulation international )SCS(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Computer simulation,Congresses ، Electronic data processing - Distributed processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
W68
2004
223. Proceedings of the third IEEE Symposium on Parallel and Distributed Processing : December 2- 5, 1991, Dallas, Texas
پدیدآورنده: IEEE Symposium on Parallel and Distributed processing : 3rd : 1991 Dallas, Tex.(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Parallel processing )Electronic Computers(- Congresses,، Electronic data Processing- Distributed processing and Electronics Engineers
رده :
QA
76
.
58
.
I42
1991
224. Proceedings 11th Workshop on Parallel and Distributed Simulation, June 10-13, 1997, Lockenhaus, Austria
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Simulation; ACM Special Interest Group on Simulation )SIGSIM(; Society for Computer Simulation
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Digital computer simulation,Distributed Processing - Congresses ، Electronic data processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
W69
1997
225. Proceedings : 18th Workshop on Parallel and Distributed Simulation : PADS 2004, 16-19 May 2004, Kufstein, Austria
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Simulation )IEEE-TCSIM(, ACM Special Interest Group on Simulation )SIGSIM(, Society for Modeling and Simulation International )SCS(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Digital computer simulation,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65P25
2004
226. Proceedings 16th Workshop on Parallel and Distributed Simulation, ]PADS'2002[, 12-15 May 2002, Washington, D.C.
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Simulation )TCSIM(, ACM Special Interest group on Simulation )SIGSIM(, Society for Computer Simulation )SCS(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Digital computer simulation,Distributed processing -- Congresses ، Electronic data processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
W69
2002
227. Process algebra for parallel and distributed processing
پدیدآورنده: / edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Formal methods (Computer science)
رده :
QA76
.
58
.
P7664
2009
228. Process algebra for parallel and distributed processing
پدیدآورنده: edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P75
229. Process algebra for parallel and distributed processing
پدیدآورنده: edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P7664
2009
230. Process algebra for parallel and distributed processing
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Parallel processing (Electronic computers),Electronic data processing -- Distributed processing,Formal methods (Computer science)
رده :
004
.
0151
P963
231. Programming environments for massively parallel distributed systems : working conference of the IFIP WG10.3, April 25-29, 1994
پدیدآورنده: edited by K.M. Decker, R.M. Rehmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
58
.
P763
232. Protocols by invariants
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing ; Computer network protocols ;
233. Protocols by invariants
پدیدآورنده: / Anneke A. Schoone
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Computer network protocols.
رده :
QA
,
76
.
58
,.
S35
,
1996
234. Reseaux de Petri and verification et mise en oeuvre des reseaux de petri. english
پدیدآورنده: edited by Michel Diaz
کتابخانه: کتابخانه دانشگاه سیستان و بلوچستان (سیستان و بلوچستان)
موضوع: Distributed processing,Electronic data processing,Parallel processing )Electronic computers(,System design,Petri nets
رده :
QA
76
.
9
.
D5P4
235. Scheduling and load balancing in parallel and distributed systems
پدیدآورنده: Shirazi, Behrooz A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel processing )Electronic computers( , Electronic data processing - Distributed processing , Computer capacity - Management
رده :
QA
76
.
58
.
S54
1995
236. Scheduling divisible loads in parallel and distributed systems
پدیدآورنده: Veeravalli Bharadwaj ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel processing )Electronic computers( , Electronic data processing - Distributed processing , Computer capacity - Planning
رده :
QA
76
.
58
.
S345
1996
237. Scheduling divisible loads in parallel and distributed systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing,، Computer capacity-- Planning
رده :
QA
76
.
58
.
S345
1996
238. Second International Workshop on Software Engineering for Parallel and Distributed Systems, May 17-18, 1997, Boston, MA
پدیدآورنده: International Workshop on Software Engineering for Parallel and Distributed Systems (2nd : 1997 : Boston, Mass.)
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Parallel processing (Electronic computers)- Congresses►Electronic data processing- Distributed processing- Congresse►Computer software- Development- Congresse
رده :
76
.
58
.
I5768
239. Second International Workshop on Software Engineering for Parallel and Distributed Systems: May 17-18, 1997, Boston, MA, USA
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
رده :
QA
76
.
58
.
I5768
1997
240. Secure networked inference with unreliable data sources /
پدیدآورنده: Aditya Vempaty, Bhavya Kailkhura, Pramod K. Varshney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer network architectures.,Electronic data processing-- Distributed processing.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Computer network architectures.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,Imaging systems & technology.,Maths for computer scientists.,Network hardware.
رده :
TK5105
.
5
